<html>
<body>

<div>   <!-- 'wrong closing tag name' should not be reported -->
  <p>
     <div/>
  <warning></p></warning> <!-- 'end tag matches nothing' correctly reported -->
</div>

</body>
</html>